Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is smart. Charlie is big. Charlie is green. Charlie is smart. Fiona is green. Fiona is red. Fiona is smart. Harry is cold. Harry is smart. If something is green then it is blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is green then it is blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Charlie is big.
True
1
proof
[(triple8)]
("Charlie" "is" "big" "+")
triple8
Anne is not smart.
False
1
inv-proof
[(triple7)]
("Anne" "is" "smart" "-")
triple7
Fiona is blue.
True
2
proof
[(((triple11) -> rule1))]
("Fiona" "is" "blue" "+")
((triple11) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple9) -> rule1))]
("Charlie" "is" "blue" "-")
((triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule1))] Anne is cold.[(triple3)] Anne is green.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Charlie is big.[(triple8)] Charlie is green.[(triple9)] Charlie is smart.[(triple10)] Fiona is green.[(triple11)] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Harry is cold.[(triple14)] Harry is smart.[(triple15)] @1: Charlie is blue.[(((triple9) -> rule1))] Fiona is blue.[(((triple11) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is smart.
("Anne" "is" "smart" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple11) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1