Anne is blue. Anne is kind. Anne is white. Charlie is quiet. Charlie is round. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Harry is nice. Harry is quiet. If someone is kind and white then they are round. All round people are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is kind and white then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Fiona is round.
True
1
proof
[(triple9 OR ((triple7 triple10) -> rule1))]
("Fiona" "is" "round" "+")
triple9
((triple7 triple10) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Charlie is not quiet.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "quiet" "-")
triple4
Charlie is nice.
True
2
proof
[(((triple5) -> rule2))]
("Charlie" "is" "nice" "+")
((triple5) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple9) -> rule2) OR ((((triple7 triple10) -> rule1)) -> rule2))]
("Fiona" "is" "nice" "-")
((triple9) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple7 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Anne is nice.
True
4
proof
[(((((triple2 triple3) -> rule1)) -> rule2))]
("Anne" "is" "nice" "+")
((((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not nice.
False
4
inv-proof
[(((((triple2 triple3) -> rule1)) -> rule2))]
("Anne" "is" "nice" "-")
((((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is round.[(triple9 OR ((triple7 triple10) -> rule1))] Fiona is white.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] @1: Anne is round.[(((triple2 triple3) -> rule1))] Charlie is nice.[(((triple5) -> rule2))] Fiona is nice.[(((triple9) -> rule2) OR ((((triple7 triple10) -> rule1)) -> rule2))] @2: Anne is nice.[(((((triple2 triple3) -> rule1)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple7 triple10) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Anne is round.
("Anne" "is" "round" "+")
((triple2 triple3) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple7 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2