Fiona is red. Fiona is round. Fiona is smart. Fiona is young. Gary is red. Gary is rough. Gary is smart. All cold, smart people are green. Green people are cold.
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All cold, smart people are green.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Fiona is not red.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "red" "-")
triple1
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Fiona is red.[(triple1)] Fiona is round.[(triple2)] Fiona is smart.[(triple3)] Fiona is young.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7