Bob is cold. Bob is nice. Bob is smart. Bob is white. Charlie is cold. Charlie is green. Charlie is rough. Red, smart things are green. All cold things are rough. All red things are cold. All rough, white things are cold. Red, cold things are nice. Smart, cold things are nice.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Red, smart things are green.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
All cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
All rough, white things are cold.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Red, cold things are nice.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Smart, cold things are nice.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Bob is nice.
True
1
proof
[(triple2 OR ((triple3 triple1) -> rule6))]
("Bob" "is" "nice" "+")
triple2
((triple3 triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is not cold.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "cold" "-")
triple5
Bob is rough.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2 OR ((triple3 triple1) -> rule6))] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is rough.[(triple7 OR ((triple5) -> rule2))] @1: Bob is rough.[(((triple1) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple3 triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
((triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1