Bob is big. Bob is nice. Bob is red. Bob is round. Dave is red. Dave is rough. Dave is round. Dave is smart. Erin is red. Erin is smart. Big people are white. If someone is nice and red then they are rough. Smart people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is nice and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Erin is smart.
True
1
proof
[(triple10)]
("Erin" "is" "smart" "+")
triple10
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Erin is big.
True
2
proof
[(((triple10) -> rule3))]
("Erin" "is" "big" "+")
((triple10) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple10) -> rule3))]
("Erin" "is" "big" "-")
((triple10) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
True
3
proof
[(((((triple10) -> rule3)) -> rule1))]
("Erin" "is" "white" "+")
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not white.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule1))]
("Erin" "is" "white" "-")
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "rough" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10)] @1: Bob is rough.[(((triple2 triple3) -> rule2))] Bob is white.[(((triple1) -> rule1))] Dave is big.[(((triple8) -> rule3))] Erin is big.[(((triple10) -> rule3))] @2: Dave is white.[(((((triple8) -> rule3)) -> rule1))] Erin is white.[(((((triple10) -> rule3)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple8) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple10) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2