Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Erin is quiet. Erin is red. Fiona is blue. Fiona is green. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is round. Blue, quiet things are furry. Green things are rough. Blue things are quiet.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Blue, quiet things are furry.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Charlie is round.
True
1
proof
[(triple7)]
("Charlie" "is" "round" "+")
triple7
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Fiona is quiet.
True
2
proof
[(((triple10) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple10) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple11) -> rule2))]
("Fiona" "is" "rough" "-")
((triple11) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
True
4
proof
[(((triple10 ((triple10) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "+")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((triple10 ((triple10) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "-")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1))] Charlie is green.[(triple3)] Charlie is quiet.[(triple4 OR ((triple1) -> rule3))] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple3) -> rule2))] Charlie is round.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Fiona is blue.[(triple10)] Fiona is green.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16)] @1: Fiona is quiet.[(((triple10) -> rule3))] Fiona is rough.[(((triple11) -> rule2))] Harry is rough.[(((triple13) -> rule2))] @2: Fiona is furry.[(((triple10 ((triple10) -> rule3)) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple1 triple4) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
((triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple11) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple13) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2