Anne is blue. Anne is kind. Anne is round. Dave is big. Dave is blue. Dave is red. Dave is round. Fiona is blue. Fiona is kind. Fiona is red. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is round. Blue, red people are furry. If Fiona is kind then Fiona is blue. If someone is furry and red then they are big.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Blue, red people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is kind then Fiona is blue.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "blue" "+"))
If someone is furry and red then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Anne is round.
True
1
proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Harry is not big.
False
1
inv-proof
[(triple11)]
("Harry" "is" "big" "-")
triple11
Fiona is furry.
True
3
proof
[(((triple8 triple10) -> rule1) OR ((((triple9) -> rule2) triple10) -> rule1))]
("Fiona" "is" "furry" "+")
((triple8 triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((triple8 triple10) -> rule1) OR ((((triple9) -> rule2) triple10) -> rule1))]
("Fiona" "is" "furry" "-")
((triple8 triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is furry.
Unknown
rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Dave is big.[(triple4 OR ((((triple5 triple6) -> rule1) triple6) -> rule3))] Dave is blue.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Fiona is blue.[(triple8 OR ((triple9) -> rule2))] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is round.[(triple15)] @1: Dave is furry.[(((triple5 triple6) -> rule1))] Fiona is furry.[(((triple8 triple10) -> rule1) OR ((((triple9) -> rule2) triple10) -> rule1))] @2: Fiona is big.[(((((triple8 triple10) -> rule1) triple10) -> rule3) OR ((((((triple9) -> rule2) triple10) -> rule1) triple10) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
((((triple5 triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
((triple9) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Dave is furry.
("Dave" "is" "furry" "+")
((triple5 triple6) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8 triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple8 triple10) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple9) -> (rule2 % int3)) triple10) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3