Charlie is furry. Charlie is not quiet. Charlie is round. Charlie is young. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is round. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is not round. Harry is young. All round, big people are cold. Round people are furry.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is young.
("Harry" "is" "young" "+")
All round, big people are cold.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Harry is cold.
True
1
proof
[(triple10)]
("Harry" "is" "cold" "+")
triple10
Harry is not furry.
False
1
inv-proof
[(triple11)]
("Harry" "is" "furry" "-")
triple11
Fiona is furry.
True
2
proof
[(((triple8) -> rule2))]
("Fiona" "is" "furry" "+")
((triple8) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple8) -> rule2))]
("Fiona" "is" "furry" "-")
((triple8) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Charlie is furry.[(triple1 OR ((triple3) -> rule2))] Charlie is not quiet.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6 OR ((triple8 triple5) -> rule1))] Fiona is quiet.[(triple7)] Fiona is round.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12)] Harry is not round.[(triple14)] Harry is quiet.[(triple13)] Harry is young.[(triple15)] @1: Fiona is furry.[(((triple8) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((triple3) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
((triple8 triple5) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is not round.
("Harry" "is" "round" "-")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is young.
("Harry" "is" "young" "+")
triple15
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1