Bob is white. All big things are smart. All round things are white. All green, white things are nice. If something is big and nice then it is smart. Green, white things are smart. All big, white things are smart. All white, smart things are green. If Bob is white then Bob is green.
Bob is white.
("Bob" "is" "white" "+")
All big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
All round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All green, white things are nice.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If something is big and nice then it is smart.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Green, white things are smart.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
All big, white things are smart.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
All white, smart things are green.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If Bob is white then Bob is green.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "green" "+"))
Bob is white.
True
1
proof
[(triple1)]
("Bob" "is" "white" "+")
triple1
Bob is not white.
False
1
inv-proof
[(triple1)]
("Bob" "is" "white" "-")
triple1
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is white.[(triple1)] @1: Bob is green.[(((triple1) -> rule8))] @2: Bob is nice.[(((((triple1) -> rule8) triple1) -> rule3))] Bob is smart.[(((((triple1) -> rule8) triple1) -> rule5))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2