Bob is big. Bob is smart. Bob is white. Bob is young. Charlie is big. Charlie is cold. Dave is cold. Erin is big. Erin is rough. Erin is smart. If Erin is rough then Erin is cold. If Bob is white then Bob is big.
Bob is big.
("Bob" "is" "big" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Erin is rough then Erin is cold.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "cold" "+"))
If Bob is white then Bob is big.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "big" "+"))
Bob is smart.
True
1
proof
[(triple2)]
("Bob" "is" "smart" "+")
triple2
Charlie is not big.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "big" "-")
triple5
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is smart.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Dave is cold.[(triple7)] Erin is big.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10)] @1: Erin is cold.[(((triple9) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
((triple9) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1