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