Charlie is smart. Erin is rough. Gary is white. Harry is white. If someone is rough and white then they are furry. If someone is green then they are white. All smart people are rough. If Erin is smart then Erin is big. Rough people are furry. All smart people are cold. All green, smart people are white. All big people are rough.
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is rough and white then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
All smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If Erin is smart then Erin is big.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "big" "+"))
Rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
All green, smart people are white.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
All big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Harry is white.
True
1
proof
[(triple4)]
("Harry" "is" "white" "+")
triple4
Harry is not white.
False
1
inv-proof
[(triple4)]
("Harry" "is" "white" "-")
triple4
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Charlie is smart.[(triple1)] Erin is rough.[(triple2)] Gary is white.[(triple3)] Harry is white.[(triple4)] @1: Charlie is cold.[(((triple1) -> rule6))] Charlie is rough.[(((triple1) -> rule3))] Erin is furry.[(((triple2) -> rule5))] @2: Charlie is furry.[(((((triple1) -> rule3)) -> rule5))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple2) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2