Charlie is big. Charlie is white. Fiona is green. Fiona is smart. Fiona is white. Gary is big. Gary is furry. Gary is rough. Gary is smart. Gary is white. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is smart. All smart, white people are big. All furry people are big. If Charlie is smart and Charlie is green then Charlie is furry.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All smart, white people are big.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
All furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If Charlie is smart and Charlie is green then Charlie is furry.
((("Charlie" "is" "smart" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "furry" "+"))
Harry is furry.
True
1
proof
[(triple11)]
("Harry" "is" "furry" "+")
triple11
Gary is not rough.
False
1
inv-proof
[(triple8)]
("Gary" "is" "rough" "-")
triple8
Harry is big.
True
2
proof
[(((triple11) -> rule2))]
("Harry" "is" "big" "+")
((triple11) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Fiona is not big.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Fiona" "is" "big" "-")
((triple4 triple5) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is big.[(triple1)] Charlie is white.[(triple2)] Fiona is green.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6 OR ((triple7) -> rule2) OR ((triple9 triple10) -> rule1))] Gary is furry.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Fiona is big.[(((triple4 triple5) -> rule1))] Harry is big.[(((triple11) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
((triple7) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple9 triple10) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Fiona is big.
("Fiona" "is" "big" "+")
((triple4 triple5) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple11) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1