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