Bob is quiet. Bob is smart. Charlie is rough. Erin is big. Erin is cold. Erin is rough. Gary is big. Gary is rough. Gary is smart. Gary is young. All young, smart things are cold.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All young, smart things are cold.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Gary is smart.
True
1
proof
[(triple9)]
("Gary" "is" "smart" "+")
triple9
Gary is not big.
False
1
inv-proof
[(triple7)]
("Gary" "is" "big" "-")
triple7
Gary is cold.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Gary" "is" "cold" "+")
((triple10 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Gary" "is" "cold" "-")
((triple10 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Charlie is rough.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is rough.[(triple6)] Gary is big.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Gary is cold.[(((triple10 triple9) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
((triple10 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1