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