Bob is green. Bob is red. Bob is smart. Bob is white. Charlie is green. Charlie is nice. Charlie is red. Dave is red. Dave is rough. Dave is white. Erin is big. Erin is smart. White, smart things are green. White, nice things are big. If something is white then it is smart.
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is smart.
("Erin" "is" "smart" "+")
White, smart things are green.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
White, nice things are big.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is white then it is smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Erin is smart.
True
1
proof
[(triple12)]
("Erin" "is" "smart" "+")
triple12
Bob is not white.
False
1
inv-proof
[(triple4)]
("Bob" "is" "white" "-")
triple4
Dave is smart.
True
2
proof
[(((triple10) -> rule3))]
("Dave" "is" "smart" "+")
((triple10) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
2
inv-proof
[(((triple10) -> rule3))]
("Dave" "is" "smart" "-")
((triple10) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
True
4
proof
[(((triple10 ((triple10) -> rule3)) -> rule1))]
("Dave" "is" "green" "+")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is not green.
False
4
inv-proof
[(((triple10 ((triple10) -> rule3)) -> rule1))]
("Dave" "is" "green" "-")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Charlie is smart.
Unknown
rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "smart" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is green.[(triple1 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1))] Bob is red.[(triple2)] Bob is smart.[(triple3 OR ((triple4) -> rule3))] Bob is white.[(triple4)] Charlie is green.[(triple5)] Charlie is nice.[(triple6)] Charlie is red.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Dave is white.[(triple10)] Erin is big.[(triple11)] Erin is smart.[(triple12)] @1: Dave is smart.[(((triple10) -> rule3))] @2: Dave is green.[(((triple10 ((triple10) -> rule3)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
((triple4 triple3) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
((triple4) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
((triple10) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2