Charlie is blue. Charlie is red. Charlie is white. Charlie is young. Erin is cold. Erin is young. Fiona is red. Fiona is smart. Fiona is young. Harry is cold. Harry is white. Harry is young. If Charlie is smart then Charlie is cold. If Harry is white then Harry is cold. If Erin is blue then Erin is smart. All kind things are cold. If something is blue then it is cold. All young, red things are smart. If Harry is smart and Harry is blue then Harry is red. All young things are blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is smart then Charlie is cold.
((("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "cold" "+"))
If Harry is white then Harry is cold.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "cold" "+"))
If Erin is blue then Erin is smart.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "smart" "+"))
All kind things are cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
All young, red things are smart.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If Harry is smart and Harry is blue then Harry is red.
((("Harry" "is" "smart" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "red" "+"))
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Fiona is red.
True
1
proof
[(triple7)]
("Fiona" "is" "red" "+")
triple7
Fiona is not red.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "red" "-")
triple7
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Harry" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule8))] Charlie is red.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Erin is cold.[(triple5 OR ((((triple6) -> rule8)) -> rule5))] Erin is young.[(triple6)] Fiona is red.[(triple7)] Fiona is smart.[(triple8 OR ((triple9 triple7) -> rule6))] Fiona is young.[(triple9)] Harry is cold.[(triple10 OR ((triple11) -> rule2) OR ((((triple12) -> rule8)) -> rule5))] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Charlie is cold.[(((triple1) -> rule5) OR ((((triple4) -> rule8)) -> rule5) OR ((((triple4 triple2) -> rule6)) -> rule1))] Charlie is smart.[(((triple4 triple2) -> rule6))] Erin is blue.[(((triple6) -> rule8))] Fiona is blue.[(((triple9) -> rule8))] Harry is blue.[(((triple12) -> rule8))] @2: Erin is smart.[(((((triple6) -> rule8)) -> rule3))] Fiona is cold.[(((((triple9) -> rule8)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple4) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((triple9 triple7) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
((triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple4 triple2) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple4 triple2) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple6) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple9) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple12) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple6) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2