Charlie is blue. Charlie is not furry. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Fiona is furry. Fiona is quiet. Fiona is smart. Fiona is not young. Gary is blue. Gary is furry. Gary is not green. Gary is smart. Smart things are blue. All green things are smart. If Fiona is green and Fiona is not furry then Fiona is smart.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
All green things are smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If Fiona is green and Fiona is not furry then Fiona is smart.
((("Fiona" "is" "green" "+") ("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "smart" "+"))
Charlie is white.
True
1
proof
[(triple6)]
("Charlie" "is" "white" "+")
triple6
Fiona is not furry.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "furry" "-")
triple8
Fiona is blue.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "blue" "+")
((triple10) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "blue" "-")
((triple10) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is blue.[(triple1 OR ((triple5) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Charlie is green.[(triple3)] Charlie is not furry.[(triple2)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5 OR ((triple3) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is not young.[(triple11)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10)] Gary is blue.[(triple12 OR ((triple15) -> rule1))] Gary is furry.[(triple13)] Gary is not green.[(triple14)] Gary is smart.[(triple15)] @1: Fiona is blue.[(((triple10) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple3) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is not young.
("Fiona" "is" "young" "-")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple12
((triple15) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is not green.
("Gary" "is" "green" "-")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple10) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1