Anne is blue. Anne is quiet. Anne is rough. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Harry is quiet. Harry is rough. Harry is round. Harry is young. Rough people are red. If someone is kind and red then they are rough. Quiet, round people are blue. All kind people are red. All blue, kind people are young. All blue, round people are red. Kind people are red. If Fiona is kind and Fiona is young then Fiona is rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Quiet, round people are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All blue, kind people are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
All blue, round people are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If Fiona is kind and Fiona is young then Fiona is rough.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "rough" "+"))
Harry is quiet.
True
1
proof
[(triple9)]
("Harry" "is" "quiet" "+")
triple9
Harry is not young.
False
1
inv-proof
[(triple12)]
("Harry" "is" "young" "-")
triple12
Anne is red.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "red" "+")
((triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple10) -> rule1) OR ((((triple9 triple11) -> rule3) triple11) -> rule6))]
("Harry" "is" "red" "-")
((triple10) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple9 triple11) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7 OR ((triple5) -> rule4) OR ((triple5) -> rule7) OR ((triple8) -> rule1) OR ((((triple5 ((triple4 triple5) -> rule5)) -> rule8)) -> rule1))] Fiona is rough.[(triple8 OR ((triple5 triple7) -> rule2) OR ((triple5 ((triple5) -> rule4)) -> rule2) OR ((triple5 ((triple5) -> rule7)) -> rule2) OR ((triple5 ((triple4 triple5) -> rule5)) -> rule8))] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Anne is red.[(((triple3) -> rule1))] Fiona is young.[(((triple4 triple5) -> rule5))] Harry is blue.[(((triple9 triple11) -> rule3))] Harry is red.[(((triple10) -> rule1) OR ((((triple9 triple11) -> rule3) triple11) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
((triple5) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple5) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple5 ((triple4 triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((triple5 triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple5 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple5 ((triple5) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple5 ((triple4 triple5) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is red.
("Anne" "is" "red" "+")
((triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple4 triple5) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple9 triple11) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple9 triple11) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2