Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Erin is cold. Erin is furry. Erin is rough. Erin is smart. Fiona is furry. Fiona is quiet. Fiona is red. Gary is nice. All furry things are rough.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
All furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Gary is nice.
True
1
proof
[(triple15)]
("Gary" "is" "nice" "+")
triple15
Charlie is not quiet.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "quiet" "-")
triple4
Fiona is rough.
True
2
proof
[(((triple12) -> rule1))]
("Fiona" "is" "rough" "+")
((triple12) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple12) -> rule1))]
("Fiona" "is" "rough" "-")
((triple12) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple2) -> rule1))] Charlie is smart.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is rough.[(triple10 OR ((triple9) -> rule1))] Erin is smart.[(triple11)] Fiona is furry.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Gary is nice.[(triple15)] @1: Fiona is rough.[(((triple12) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
((triple9) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple12) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1