Dave is blue. Dave is cold. Dave is red. Erin is red. Erin is rough. Fiona is blue. Fiona is green. Fiona is red. Fiona is rough. Harry is cold. Green people are round. If someone is green then they are red. If someone is green then they are red.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Erin is rough.
True
1
proof
[(triple5)]
("Erin" "is" "rough" "+")
triple5
Fiona is not blue.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "blue" "-")
triple6
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Fiona is red.[(triple8 OR ((triple7) -> rule2) OR ((triple7) -> rule3))] Fiona is rough.[(triple9)] Harry is cold.[(triple10)] @1: Fiona is round.[(((triple7) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple7) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple7) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1