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