Charlie is blue. Charlie is cold. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Erin is cold. Erin is rough. Gary is blue. Gary is cold. Gary is round. Harry is blue. Harry is green. Harry is red. Harry is rough. All round, blue people are red. If someone is rough then they are round.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
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 young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All round, blue people are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Harry is blue.
True
1
proof
[(triple13)]
("Harry" "is" "blue" "+")
triple13
Charlie is not young.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "young" "-")
triple7
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4 OR ((triple6 triple1) -> rule1) OR ((((triple5) -> rule2) triple1) -> rule1))] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule2))] Charlie is young.[(triple7)] Erin is cold.[(triple8)] Erin is rough.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is round.[(triple12)] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is red.[(triple15 OR ((((triple16) -> rule2) triple13) -> rule1))] Harry is rough.[(triple16)] @1: Erin is round.[(((triple9) -> rule2))] Gary is red.[(((triple12 triple10) -> rule1))] Harry is round.[(((triple16) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
((triple6 triple1) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple5) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
((triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
((((triple16) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple16
Erin is round.
("Erin" "is" "round" "+")
((triple9) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple12 triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple16) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1