Bob is blue. Bob is green. Bob is red. Bob is rough. Bob is smart. Erin is blue. Erin is smart. All cold, red things are young. If something is smart and red then it is cold. If Erin is cold and Erin is red then Erin is smart. All red things are cold. Young, green things are red. Cold things are rough. If something is smart then it is cold. All rough things are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is smart.
("Erin" "is" "smart" "+")
All cold, red things are young.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If something is smart and red then it is cold.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If Erin is cold and Erin is red then Erin is smart.
((("Erin" "is" "cold" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "smart" "+"))
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Young, green things are red.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something is smart then it is cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
All rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Bob is not green.
False
1
inv-proof
[(triple2)]
("Bob" "is" "green" "-")
triple2
Erin is not young.
Unknown
inv-rconc
[@2: Erin is young.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((((triple3) -> rule4)) -> rule6) OR ((((triple5) -> rule7)) -> rule6) OR ((((triple5 triple3) -> rule2)) -> rule6))] Bob is smart.[(triple5)] Erin is blue.[(triple6)] Erin is smart.[(triple7)] @1: Bob is cold.[(((triple3) -> rule4) OR ((triple4) -> rule8) OR ((triple5) -> rule7) OR ((triple5 triple3) -> rule2))] Erin is cold.[(((triple7) -> rule7))] @2: Bob is young.[(((((triple3) -> rule4) triple3) -> rule1) OR ((((triple4) -> rule8) triple3) -> rule1) OR ((((triple5) -> rule7) triple3) -> rule1) OR ((((triple5 triple3) -> rule2) triple3) -> rule1))] Erin is rough.[(((((triple7) -> rule7)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple5 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple4) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple5 triple3) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple7) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple5) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple5 triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2