Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is white. Fiona is furry. Fiona is rough. If someone is furry and cold then they are rough. If someone is green and white then they are nice.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is furry and cold then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and white then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Charlie is green.
True
1
proof
[(triple3)]
("Charlie" "is" "green" "+")
triple3
Dave is not white.
False
1
inv-proof
[(triple10)]
("Dave" "is" "white" "-")
triple10
Dave is rough.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Dave" "is" "rough" "+")
((triple7 triple6) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Charlie" "is" "rough" "-")
((triple2 triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9 OR ((triple8 triple10) -> rule2))] Dave is white.[(triple10)] Fiona is furry.[(triple11)] Fiona is rough.[(triple12)] @1: Charlie is rough.[(((triple2 triple1) -> rule1))] Dave is rough.[(((triple7 triple6) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
((triple8 triple10) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 triple6) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1