Charlie is not blue. Charlie is cold. Charlie is furry. Charlie is red. Fiona is not blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is round. Harry is blue. Harry is cold. Smart, round people are blue. If Charlie is round then Charlie is quiet. If someone is blue and not red then they are not smart. Round, red people are not smart. If someone is round and not cold then they are not smart. If Charlie is smart then Charlie is furry.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Smart, round people are blue.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If Charlie is round then Charlie is quiet.
((("Charlie" "is" "round" "+")) -> ("Charlie" "is" "quiet" "+"))
If someone is blue and not red then they are not smart.
((("someone" "is" "blue" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "smart" "-"))
Round, red people are not smart.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "-"))
If someone is round and not cold then they are not smart.
((("someone" "is" "round" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "smart" "-"))
If Charlie is smart then Charlie is furry.
((("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "furry" "+"))
Charlie is red.
True
1
proof
[(triple4)]
("Charlie" "is" "red" "+")
triple4
Fiona is not round.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "round" "-")
triple10
Fiona is not smart.
True
3
proof
[(((triple10 triple9) -> rule4))]
("Fiona" "is" "smart" "-")
((triple10 triple9) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is smart.
False
3
inv-proof
[(((triple10 triple9) -> rule4))]
("Fiona" "is" "smart" "+")
((triple10 triple9) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is not blue.[(triple1)] Charlie is red.[(triple4)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is not blue.[(triple5)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] @1: Fiona is not smart.[(((triple10 triple9) -> rule4))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple10 triple9) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1