Bob is round. Bob is white. Erin is cold. Erin is rough. Erin is white. Gary is big. Gary is cold. Gary is rough. Harry is big. Harry is cold. Harry is green. Harry is round. If something is cold then it is rough.
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Harry is not big.
False
1
inv-proof
[(triple9)]
("Harry" "is" "big" "-")
triple9
Harry is rough.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "rough" "+")
((triple10) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple10) -> rule1))]
("Harry" "is" "rough" "-")
((triple10) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Bob is round.[(triple1)] Bob is white.[(triple2)] Erin is cold.[(triple3)] Erin is rough.[(triple4 OR ((triple3) -> rule1))] Erin is white.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is rough.[(triple8 OR ((triple7) -> rule1))] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is round.[(triple12)] @1: Harry is rough.[(((triple10) -> rule1))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
((triple3) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
((triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
((triple10) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1