Bob is big. Bob is quiet. Charlie is cold. Charlie is quiet. Charlie is smart. Dave is furry. Dave is green. Dave is rough. Dave is smart. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is smart. If someone is big then they are green.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If someone is big then they are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Erin is smart.
True
1
proof
[(triple15)]
("Erin" "is" "smart" "+")
triple15
Erin is not quiet.
False
1
inv-proof
[(triple14)]
("Erin" "is" "quiet" "-")
triple14
Bob is green.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "green" "+")
((triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "green" "-")
((triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Charlie is cold.[(triple3)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Erin is big.[(triple10)] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13 OR ((triple10) -> rule1))] Erin is quiet.[(triple14)] Erin is smart.[(triple15)] @1: Bob is green.[(((triple1) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
triple13
((triple10) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
Erin is smart.
("Erin" "is" "smart" "+")
triple15
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1