Charlie is blue. Charlie is red. Charlie is smart. Charlie is young. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is smart. Fiona is furry. Fiona is nice. Gary is kind. Gary is nice. Gary is red. Gary is smart. If someone is furry and not young then they are not nice. All red people are blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is furry and not young then they are not nice.
((("someone" "is" "furry" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "nice" "-"))
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Gary is kind.
True
1
proof
[(triple13)]
("Gary" "is" "kind" "+")
triple13
Erin is not smart.
False
1
inv-proof
[(triple10)]
("Erin" "is" "smart" "-")
triple10
Gary is blue.
True
2
proof
[(((triple15) -> rule2))]
("Gary" "is" "blue" "+")
((triple15) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple15) -> rule2))]
("Gary" "is" "blue" "-")
((triple15) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule2))] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Erin is blue.[(triple5 OR ((triple9) -> rule2))] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10)] Fiona is furry.[(triple11)] Fiona is nice.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15)] Gary is smart.[(triple16)] @1: Gary is blue.[(((triple15) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple2) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
((triple9) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16
Gary is blue.
("Gary" "is" "blue" "+")
((triple15) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1