Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Fiona is green. Fiona is rough. Gary is smart. Gary is white. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is smart. White things are red. If something is red and smart then it is kind.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
White things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If something is red and smart then it is kind.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
Fiona is green.
True
1
proof
[(triple7)]
("Fiona" "is" "green" "+")
triple7
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Gary is red.
True
2
proof
[(((triple10) -> rule1))]
("Gary" "is" "red" "+")
((triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple2 triple5) -> rule2) OR ((((triple6) -> rule1) triple5) -> rule2))]
("Charlie" "is" "kind" "-")
((triple2 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Gary is kind.
True
4
proof
[(((((triple10) -> rule1) triple9) -> rule2))]
("Gary" "is" "kind" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not kind.
False
4
inv-proof
[(((((triple10) -> rule1) triple9) -> rule2))]
("Gary" "is" "kind" "-")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2 OR ((triple6) -> rule1))] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Fiona is green.[(triple7)] Fiona is rough.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is kind.[(triple11 OR ((triple12 triple15) -> rule2))] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Charlie is kind.[(((triple2 triple5) -> rule2) OR ((((triple6) -> rule1) triple5) -> rule2))] Gary is red.[(((triple10) -> rule1))] @2: Gary is kind.[(((((triple10) -> rule1) triple9) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
((triple6) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
((triple12 triple15) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple2 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2